CPS-translation as adjoint
نویسندگان
چکیده
منابع مشابه
Call-By-Name CPS-Translation as a Binding-Time Improvement
Much attention has been given to the call-by-value continuation passing style (CBV CPS) translation as a tool in partial evaluation, but the call-by-name (CBN) CPS translation has not been investigated. We undertake a systematic investigation of the eeect of CBN CPS in connection with partial evaluation and deforestation. First, we give an example where CBN CPS translation acts as a binding tim...
متن کاملA CPS - Translation of the
We present a translation of Parigot's-calculus 10] into the usual-calculus. This translation, which is based on the so-called continuation passing style, is correct with respect to equality and with respect to evaluation. At the type level, it induces a logical interpretation of classical logic into intuitionistic one, akin to Kolmogorov's negative translation. As a by-product, we get the norma...
متن کاملCps - Translation and the Correctness of Optimising
We show that compiler optimisations based on strictness analysis can be expressed formally in the functional framework using continuations. This formal presentation has two beneets: it allows us to give a rigorous correctness proof of the optimised compiler; and it exposes the various optimisations made possible by a strictness analysis. These beneets are especially signiicant in the presence o...
متن کاملGame design as CPS
2D Platform and side scroller games such as Super Mario or Flappy Bird are very popular. Designing such games is an elaborate and creative process but a few simplified steps of interest include – the design of the primary character which usually includes simplified physics, the design of the level or map, the rules of the game and its challenges.The goal of this project was to explore if some a...
متن کاملThe selection monad as a CPS transformation
A computation in the continuation monad returns a final result given a continuation, ie. it is a function with type (X → R) → R. If we instead return the intermediate result at X then our computation is called a selection function. Selection functions appear in diverse areas of mathematics and computer science (especially game theory, proof theory and topology) but the existing literature does ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2010
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2009.06.033